Markovian Component Modeling
نویسنده
چکیده
We consider the following problem: For a real-time probabilistic system S consisting of two submodules M1 and M2, the specification of the global system S is given, as well as part of the specification of M1 and part of the specification of M2 (the possible traces are known but not their probabilities nor their timing delays). We need to fully determine of M1 and M2 in a way to “best approximate” the composition M1×M2 to S. In this paper, a solution of this problem in the context of continuous time Markov chains (CTMC) is given.
منابع مشابه
Monte Carlo Simulation to Compare Markovian and Neural Network Models for Reliability Assessment in Multiple AGV Manufacturing System
We compare two approaches for a Markovian model in flexible manufacturing systems (FMSs) using Monte Carlo simulation. The model which is a development of Fazlollahtabar and Saidi-Mehrabad (2013), considers two features of automated flexible manufacturing systems equipped with automated guided vehicle (AGV) namely, the reliability of machines and the reliability of AGVs in a multiple AGV jobsho...
متن کاملStage Method in Reliability System Analysis
Markovian models and their analysis techniques accomplish an important function in evaluating reliability/ availability in complex engineering systems. Markovian modeling is essentially associated with constant rate of transition from one state to another state of the system and is strictly applicable to exponential distributions. When a more general form for the distribution of a system compon...
متن کاملA Markovian Approach Applied to Reliability Modeling of Bidirectional DC-DC Converters Used in PHEVs and Smart Grids
In this paper, a stochastic approach is proposed for reliability assessment of bidirectional DC-DC converters, including the fault-tolerant ones. This type of converters can be used in a smart DC grid, feeding DC loads such as home appliances and plug-in hybrid electric vehicles (PHEVs). The reliability of bidirectional DC-DC converters is of such an importance, due to the key role of the expec...
متن کاملMarkovian Delay Prediction-Based Control of Networked Systems
A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...
متن کاملModeling and Performance Evaluation of Multi-Processors Organization with Shared Memories
This paper is primarily concerned with theoretical evaluation of the performance of multiprocessors system. A markovian waiting line model has been developed for various different multi-processors configurations, with shared memory. The system is analysed at the request level rather than job level.
متن کاملHidden hybrid Markov/semi-Markov chains
Models that combine Markovian states with implicit geometric state occupancy distributions and semi-Markovian states with explicit state occupancy distributions, are investigated. This type of model retains the flexibility of hidden semi-Markov chains for the modeling of short or medium size homogeneous zones along sequences but also enables the modeling of long zones with Markovian states. The...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008